Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Hyper-Extensionality and One-Node Elimination on Membership Graphs
2014-01-01 Omodeo, Eugenio; Piazza, Carla; Policriti, Alberto; Tomescu, Alexandru I.
Integrated Topographic, GNSS, Remote Sensing and GIS/WebGIS Techniques Applied to the Study of Aquileia River Port Structures
2011-01-01 Cefalo, Raffaela; Cociancich, Alexia; DI BARTOLOMEO, Michele; Ferro, Francesca; Iansig, Massimo; Manzoni, Giorgio; Montagner, Giulio
Non-linear analytic prediction of IP addresses for supporting cyber attack detection and analysis
2021-01-01 Cuzzocrea, A.; Mumolo, E.; Fadda, E.; Soufargi, S.; Leung, C. K.
On Perfect Matchings for some Bipartite Graphs
2018-01-01 Casagrande, Alberto; DI COSMO, Francesco; Omodeo, Eugenio
On the elimination of quantifiers through descriptors in predicate logic
2012-01-01 Cantone, D.; Nicolosi-Asmundo, M.; Omodeo, E.
Polynomial-time satisfiability tests for boolean fragments of set theory
2019-01-01 Cantone, D.; De Domenico, A.; Maugeri, P.; Omodeo, E.
Preface to the Proceedings of the 34th Italian Conference on Computational Logic (CILC 2019)
2019-01-01 Casagrande, Alberto; Omodeo, Eugenio
A proof-checking experiment on representing graphs as membership digraphs
2013-01-01 Calligaris, Pierpaolo; Omodeo, Eugenio; Tomescu, Alexandru I.
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF
2020-01-01 Cantone, Domenico; De Domenico, Andrea; Maugeri, Pietro; Omodeo, Eugenio
Set-Based Invariants over Polynomial Systems
2023-01-01 Casagrande, Alberto; Cimatti, Alessandro; Dorigo, Luca; Piazza, Carla; Tonetta, Stefano
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile